Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
341	Microsoft Word - vol1_Part 5_OS Scrub.doc Add to Reading List Source URL: files.renderingpipeline.com Language: English - Date: 2013-09-24 10:26:56 Classes of computers Digital media Exclusive or Logic Propositional calculus Mask MOS Technology SID Swap XOR Binary arithmetic Computing Boolean algebra
342	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical syntax Formal languages Well-formed formula Logical connective FO Logic Mathematical logic Propositional calculus
343	Logic Formulae Tanya Khovanova December 9, 2013 Student: Teacher, would you punish me for something I didn’t do? Teacher: No, why? Student: I didn’t do my homework. Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2013-12-20 11:45:43 Mathematics Philosophical logic Boolean algebra Semantics If and only if Negation Universal quantification Truth table Truth Logic Propositional calculus Philosophy
344	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Modal logic Proof theory Boolean algebra Functions and mappings Propositional calculus Provable Provability logic Function Default logic Mathematical logic Logic Mathematics
345	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Logical connective FO First-order logic Propositional variable Logic Mathematical logic Propositional calculus
346	Omni-directional Hyper Logic Programs in SILK and RIF Benjamin Grosof1 , Carl Andersen2 , Mike Dean2 , and Michael Kifer3 1 2 Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-09-29 10:18:55 Reasoning Science Semantic Web Programming paradigms Boolean algebra Rule Interchange Format Semantic Web Rule Language Stable model semantics Knowledge representation and reasoning Logic Logic programming Mathematical logic
347	ARTICLE IN PRESS Neurocomputing–274 www.elsevier.com/locate/neucom Lattice duality: The origin of probability Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2005-10-25 03:31:06 Lattice theory Order theory Algebraic structures Distributive lattice Lattice Boolean algebra Distributivity Ideal Duality Mathematics Abstract algebra Algebra
348	DIO 4443 Why Diodes - Logic1 (final)_:35 Page 1 WHY DIODES – LOGIC1 Why DIODES LOGIC? Diodes Incorporated—Your Next Logic Supplier Add to Reading List Source URL: diodes.com Language: English - Date: 2014-10-30 07:48:42 Series Diode Boolean algebra Digital electronics Algebraic logic Y
349	Copyright 2003 vordenker.de This material may be freely copied and reused, provided the author and sources are cited a printable version may be obtained from Aga in Computers and the Brain * ) - HE Add to Reading List Source URL: www.vordenker.de Language: English - Date: 2007-01-12 04:52:31 Propositional calculus Semantics Philosophical logic Binary operations Boolean algebra Interpretation Truth table Many-valued logic Warren Sturgis McCulloch Logic Mathematics Science
350	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Formal languages Logical syntax Boolean algebra Well-formed formula Logical connective FO Logic Mathematical logic Propositional calculus

UPDATE